2 search results for "author:"Gabriel Kerneis""
Showing 1 - 2
-
A front-end for the C programming language that facilitates program analysis and transformation2.0.3BSD-3-ClauseUsed by 2 other packages21 Nov 2023
-
Lem is a tool for lightweight executable mathematics2022-12-10BSD-3-Clause; LGPL-2.1-or-laterUsed by 3 other packages12 Dec 2022